Programming language semantics in foundational type theory
نویسنده
چکیده
languages --e.g., theoretical foundations, syntax, semantics, types, scope of Brief history of programming languages, Syntax, Semantics, Essentials, Paradigms Expression evaluation orders, Types, Recursion, Higher-order programming Programming Distributed Computing Systems: A Foundational Approach. type theory and the foundations of functional programming languages. Secondly, I would like to thank my wife, Jenny Eades, whose hard work literally made it.
منابع مشابه
Towards Foundational Semantics - Ontological Semantics Revisited
In line with Nirenburg and Raskin’s paradigm of ontological semantics, we adhere to the basic tenet that natural language semantics needs to be captured with respect to an explicitly formalized ontology. Many researchers in computational semantics, however, have neglected the ontological aspects of meaning representation, and even more have neglected aspects of meaning representation related to...
متن کاملA theory of dynamic software updates
This thesis addresses the problem of evolving software through a sequence of releases without halting execution, a process referred to as Dynamic Software Updating (DSU). It looks at the theoretical foundations, develops an applied theory, and shows how this can be used to automatically transform programs into upgradable ones that come with guarantees of updatability. In contrast to many previo...
متن کاملDynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملFoundations for the Situation Calculus
This article gives the logical foundations for the situations as histories vari ant of the situation calculus focusing on the following items The language of the situation calculus Foundational axioms for the domain of situations Axioms for an underlying domain theory The syntax and semantics of the logic programming language GOLOG Axioms for knowledge and sensing actions Essential metatheoreti...
متن کاملChecking foundational proof certificates for first-order logic
We present the design philosophy of a proof checker based on a notion of foundational proof certificates. At the heart of this design is a semantics of proof evidence that arises from recent advances in the theory of proofs for classical and intuitionistic logic. That semantics is then performed by a (higher-order) logic program: successful performance means that a formal proof of a theorem has...
متن کامل